A Topological proof that O2 is 2-MCFL
نویسنده
چکیده
We give a new proof of Salvati’s theorem that the group language O2 is 2 multiple context free. Unlike Salvati’s proof, our arguments do not use any idea specific to two-dimensions. This raises the possibility that the argument might generalize to On.
منابع مشابه
A short proof that O_2 is an MCFL
We present a new proof that O2 is a multiple context-free language. It contrasts with a recent proof by Salvati (2015) in its avoidance of concepts that seem specific to two-dimensional geometry, such as the complex exponential function. Our simple proof creates realistic prospects of widening the results to higher dimensions. This finding is of central importance to the relation between extrem...
متن کاملApplication of Graph Theory: Relationship of Topological Indices with the Partition Coefficient (logP) of the Monocarboxylic Acids
It is well known that the chemical behavior of a compound is dependent upon the structure of itsmolecules. Quantitative structure – activity relationship (QSAR) studies and quantitative structure –property relationship (QSPR) studies are active areas of chemical research that focus on the nature ofthis dependency. Topological indices are the numerical value associated with chemical constitution...
متن کاملMIX is a 2-MCFL and the word problem in Z is solved by a third-order collapsible pushdown automaton
In this work we establish that the language MIX = {w ∈ {a; b; c}||w|a = |w|b = |w|c} and the language O2 = {w ∈ {a; a; b; b}||w|a = |w|a ∧ |w|b = |w|b} are 2-MCFLs. As 2-MCFLs form a class of languages that is included in both the IO and OI hierarchies, and as O2 is the group language of a simple presentation of Z we exhibit here the first, to our knowledge, non-virtually-free group language (i...
متن کاملThe Basic Theorem and its Consequences
Let T be a compact Hausdorff topological space and let M denote an n–dimensional subspace of the space C(T ), the space of real–valued continuous functions on T and let the space be equipped with the uniform norm. Zukhovitskii [7] attributes the Basic Theorem to E.Ya.Remez and gives a proof by duality. He also gives a proof due to Shnirel’man, which uses Helly’s Theorem, now the paper obtains a...
متن کاملFREE SEMIGROUPS AND IDEMPOTENTS IN T
The known theory for an oid T shows how to find a subset T of ?T, which is a compact right topological semigroup [I]. The success of the methods in [2] for obtaining properties of-T has prompted us to see how successful they would be in another context. Thus we find (Theorem 4.8) that T cont ains copies of free semigroups on 2? generators, is an immediate consequence of the stronger resu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1710.04597 شماره
صفحات -
تاریخ انتشار 2017